Régions
Organismes
Analysis
France
Racine
Analysis
France
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur Pittsburgh

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Angleterre84
Université Nice Sophia Antipolis13
Angleterre Sauf Université Nice Sophia Antipolis" 83
Université Nice Sophia Antipolis Sauf Angleterre" 12
Angleterre Et Université Nice Sophia Antipolis 1
Angleterre Ou Université Nice Sophia Antipolis 96
Corpus822
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 1.
Ident.Authors (with country if any)Title
000476 Peter Aczel [Royaume-Uni] ; Benedikt Ahrens [France] ; Thorsten Altenkirch [Royaume-Uni] ; Steve Awodey [États-Unis] ; Bruno Barras [France] ; Andrej Bauer [Slovénie] ; Yves Bertot [France] ; Marc Bezem [États-Unis] ; Thierry Coquand [Suède] ; Eric Finster [France] ; Daniel Grayson [États-Unis] ; Hugo Herbelin [France] ; André Joyal [États-Unis] ; Dan Licata [États-Unis] ; Peter Lumsdaine [Suède] ; Assia Mahboubi [France] ; Per Martin-Löf [Canada] ; Sergey Melikhov [France] ; Alvaro Pelayo [États-Unis] ; Andrew Polonsky [États-Unis] ; Michael Shulman [États-Unis] ; Matthieu Sozeau [France] ; Bas Spitters [Pays-Bas] ; Benno Van Den Berg [Pays-Bas] ; Vladimir Voevodsky [États-Unis] ; Michael Warren [États-Unis] ; Carlo Angiuli [États-Unis] ; Anthony Bordg [République tchèque] ; Guillaume Brunerie [France] ; Chris Kapulkin [Canada] ; Egbert Rijke [États-Unis] ; Kristina Sojakova [États-Unis] ; Jeremy Avigad [États-Unis] ; Cyril Cohen [Suède] ; Robert Constable [États-Unis] ; Pierre-Louis Curien [France] ; Peter Dybjer [Suède] ; Martín Escard [Royaume-Uni] ; Kuen-Bang Hou [États-Unis] ; Nicola Gambino [Royaume-Uni] ; Richard Garner [Royaume-Uni] ; Georges Gonthier [France] ; Thomas Hales [États-Unis] ; Robert Harper [États-Unis] ; Martin Hofmann [Allemagne] ; Pieter Hofstra [Canada] ; Joachim Koch [Allemagne] ; Nicolai Kraus [Royaume-Uni] ; Nuo Li [États-Unis] ; Zhaohui Luo [Royaume-Uni] ; Michael Nahas [États-Unis] ; Erik Palmgren ; Emily Riehl [Suède] ; Dana Scott [États-Unis] ; Philip Scott [Canada] ; Sergei Soloviev [France]Homotopy Type Theory: Univalent Foundations of Mathematics
Wicri

This area was generated with Dilib version V0.6.38.
Data generation: Fri Jun 18 17:37:45 2021. Site generation: Fri Jun 18 18:15:47 2021